// Copyright (c) Microsoft. All rights reserved.
// Licensed under the MIT license. See LICENSE file in the project root for full license information.

using System;
using Microsoft.Research.ClousotRegression;

public static class Test
{
    [ClousotRegressionTest]
    public static void M()
    {
    }
}
